TSTP Solution File: GEG019^1 by SInE---0.4